package naruto.datastructures.instruction;

import gov.nasa.jpf.jvm.bytecode.InvokeInstruction;

/**
 *
 * @author nacuong
 */
public class MethodInstruction extends IfCompleteInstruction<InvokeInstruction>{
  public MethodInstruction(InvokeInstruction invokeInstruction){
    super(invokeInstruction);
  }

  public MethodInstruction(InvokeInstruction invokeInstruction, int recursiveCounter){
    super(invokeInstruction, recursiveCounter);
  }

  public String getMethodName(){
    return getInstruction().getInvokedMethod().getCompleteName();
  }
}
